package Datalog

abstract class DatalogTerm

case class ConstantSymbol(constant: String) extends DatalogTerm {
  override def toString() = constant.toUpperCase()
}
case class Variable(variable: String) extends DatalogTerm {
  override def toString() = variable.toLowerCase()
}